/*
 * Traductor.h
 *
 *  Created on: Jun 20, 2009
 *      Author: gianpaolo
 */

#ifndef TRADUCTOR_H_
#define TRADUCTOR_H_
#include "Estructuras.h"
#include <stdlib.h>

void toCNF(OutPut* cnf);

/*
 * Dado los datos de entrada asigna los primeros valores
 */
void valoresIniciales(int** table, OutPut* cnf);
#endif /* TRADUCTOR_H_ */
